Build the docs

diff --git a/debian/rules b/debian/rules
index c94f8e84e38492fa66aa644331e6922c40344a78..5652b3032c5e1c5b994e28f271e359f1abf0b304 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -54,6 +54,9 @@ override_dh_auto_build-arch:
 override_dh_auto_build-indep:
 ifeq (,$(findstring nodoc,$(DEB_BUILD_PROFILES)))
        $(CARGO) doc $(CARGOFLAGS)
+       # Extra instructions from README.md, unfortunately not done by "cargo doc"
+       sh src/ci/dox.sh
+       # Post-processing for Debian
        cd target/doc/ && rm -f jquery.js && ln -s /usr/share/javascript/jquery/jquery.js
 endif